2.2.3 Integrals 201 to 299

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 57 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.020 0.006 0.275 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.020 0.400 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 60 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.034 0.111 0.657 0.000 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 83 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.102 0.533 0.000 0.000 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 83 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.148 0.473 0.000 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 83 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.144 0.472 0.000 0.000 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 83 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.139 0.421 0.000 0.000 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 83 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.140 0.441 0.000 0.000 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 83 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.180 0.462 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 76 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.074 0.483 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 71 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.053 0.291 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 65 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.041 0.307 0.000 0.000 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 61 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.048 0.160 0.000 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 68 0 0 0 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.103 0.242 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 71 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.084 0.431 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 73 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.041 0.112 0.547 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 81 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.104 0.372 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 81 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.095 0.396 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 81 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.102 0.353 0.000 0.000 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 81 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.119 0.367 0.000 0.000 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 81 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.137 0.602 0.000 0.000 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 81 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.179 0.575 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 17 23 28 0 33 77

N.S.

1 1.00 1.00 0.85 1.15 1.40 0.00 1.65 3.85

time (sec)

N/A 0.025 0.060 0.408 0.285 2.192 0.000 0.449 1.591

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 17 23 28 0 33 39

N.S.

1 1.00 1.00 0.85 1.15 1.40 0.00 1.65 1.95

time (sec)

N/A 0.023 0.049 0.395 0.316 2.072 0.000 0.427 0.252

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 23 18 0 25 18

N.S.

1 1.00 1.00 0.94 1.28 1.00 0.00 1.39 1.00

time (sec)

N/A 0.025 0.038 0.398 0.299 3.354 0.000 0.431 0.096

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 23 23 0 22 23

N.S.

1 1.00 1.00 0.94 1.28 1.28 0.00 1.22 1.28

time (sec)

N/A 0.020 0.042 0.457 0.273 2.218 0.000 0.418 0.235

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 17 23 28 0 33 28

N.S.

1 1.00 1.00 0.85 1.15 1.40 0.00 1.65 1.40

time (sec)

N/A 0.022 0.059 0.438 0.288 2.397 0.000 0.439 0.243

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 32 357 36 42 0 49 50

N.S.

1 1.00 0.78 8.71 0.88 1.02 0.00 1.20 1.22

time (sec)

N/A 0.033 0.231 88.986 0.292 2.235 0.000 0.442 0.588

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 42 36 38 44 0 49 95

N.S.

1 1.00 0.98 0.84 0.88 1.02 0.00 1.14 2.21

time (sec)

N/A 0.034 0.115 82.168 0.282 2.098 0.000 0.470 4.337

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 122 542 0 175 0 0 -1

N.S.

1 1.00 0.95 4.23 0.00 1.37 0.00 0.00 -0.01

time (sec)

N/A 0.136 17.595 43.714 0.000 0.710 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 56 54 0 67 0 0 85

N.S.

1 1.00 0.81 0.78 0.00 0.97 0.00 0.00 1.23

time (sec)

N/A 0.068 0.127 29.167 0.000 2.612 0.000 0.000 1.338

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 109 284 0 117 0 0 -1

N.S.

1 1.00 1.17 3.05 0.00 1.26 0.00 0.00 -0.01

time (sec)

N/A 0.103 10.905 33.082 0.000 0.837 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 42 0 36 0 0 36

N.S.

1 1.00 1.00 1.35 0.00 1.16 0.00 0.00 1.16

time (sec)

N/A 0.034 0.074 31.083 0.000 1.777 0.000 0.000 0.366

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 68 155 0 56 0 0 -1

N.S.

1 1.00 1.28 2.92 0.00 1.06 0.00 0.00 -0.02

time (sec)

N/A 0.064 0.695 31.768 0.000 0.607 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 121 275 0 0 0 0 -1

N.S.

1 1.00 0.45 1.02 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.097 1.265 32.040 0.000 0.000 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 80 188 0 0 0 0 -1

N.S.

1 1.00 0.86 2.02 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 10.728 31.638 0.000 0.000 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 157 514 0 0 0 0 -1

N.S.

1 1.00 0.49 1.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.149 1.154 34.271 0.000 0.000 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 57 64 0 85 0 0 110

N.S.

1 1.00 0.55 0.62 0.00 0.82 0.00 0.00 1.06

time (sec)

N/A 0.109 0.307 60.658 0.000 3.386 0.000 0.000 2.175

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 114 996 0 0 0 0 -1

N.S.

1 1.00 0.69 6.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.181 11.163 59.421 0.000 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 45 54 0 58 0 0 61

N.S.

1 1.00 0.65 0.78 0.00 0.84 0.00 0.00 0.88

time (sec)

N/A 0.070 0.150 58.415 0.000 2.267 0.000 0.000 0.759

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 99 498 0 0 0 0 -1

N.S.

1 1.00 0.79 3.98 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.142 10.552 58.206 0.000 0.000 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 42 0 36 0 0 36

N.S.

1 1.00 1.00 1.35 0.00 1.16 0.00 0.00 1.16

time (sec)

N/A 0.031 0.069 59.816 0.000 2.550 0.000 0.000 0.304

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 66 497 0 0 0 0 -1

N.S.

1 1.00 0.74 5.58 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 10.414 60.534 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 142 646 0 0 0 0 -1

N.S.

1 1.00 0.43 1.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.154 1.426 56.835 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 69 512 0 0 0 0 -1

N.S.

1 1.00 0.73 5.45 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.105 10.468 57.904 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 92 563 0 223 0 0 -1

N.S.

1 1.00 0.55 3.39 0.00 1.34 0.00 0.00 -0.01

time (sec)

N/A 0.183 1.509 55.387 0.000 0.879 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 57 64 0 89 0 0 112

N.S.

1 1.00 0.54 0.60 0.00 0.84 0.00 0.00 1.06

time (sec)

N/A 0.112 0.197 55.843 0.000 3.167 0.000 0.000 2.319

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 87 306 0 158 0 0 -1

N.S.

1 1.00 0.66 2.34 0.00 1.21 0.00 0.00 -0.01

time (sec)

N/A 0.137 0.705 56.534 0.000 0.616 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 45 54 0 58 0 0 64

N.S.

1 1.00 0.65 0.78 0.00 0.84 0.00 0.00 0.93

time (sec)

N/A 0.071 0.221 55.291 0.000 3.107 0.000 0.000 0.835

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 68 188 0 117 0 0 -1

N.S.

1 1.00 0.73 2.02 0.00 1.26 0.00 0.00 -0.01

time (sec)

N/A 0.100 10.646 55.875 0.000 1.010 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 42 0 58 0 0 66

N.S.

1 1.00 1.00 1.27 0.00 1.76 0.00 0.00 2.00

time (sec)

N/A 0.034 0.124 58.515 0.000 2.506 0.000 0.000 0.859

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 70 192 0 120 0 0 -1

N.S.

1 1.00 0.71 1.96 0.00 1.22 0.00 0.00 -0.01

time (sec)

N/A 0.107 10.582 56.983 0.000 1.089 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 143 544 0 0 0 0 -1

N.S.

1 1.00 0.43 1.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.155 1.307 58.862 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 45 54 0 79 0 0 99

N.S.

1 1.00 0.65 0.78 0.00 1.14 0.00 0.00 1.43

time (sec)

N/A 0.070 0.278 36.536 0.000 3.301 0.000 0.000 1.829

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 104 992 0 0 0 0 -1

N.S.

1 1.00 0.81 7.75 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.137 11.134 34.546 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 42 0 51 0 0 49

N.S.

1 1.00 1.00 1.27 0.00 1.55 0.00 0.00 1.48

time (sec)

N/A 0.033 0.127 34.086 0.000 3.142 0.000 0.000 0.799

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 80 502 0 0 0 0 -1

N.S.

1 1.00 0.90 5.64 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.503 34.231 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 123 316 0 0 0 0 -1

N.S.

1 1.00 0.46 1.17 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.093 0.844 33.557 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 66 509 0 0 0 0 -1

N.S.

1 1.00 1.25 9.60 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.064 10.251 32.532 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 156 658 0 0 0 0 -1

N.S.

1 1.00 0.48 2.04 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.144 1.563 29.888 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 84 523 0 0 0 0 -1

N.S.

1 1.00 0.88 5.51 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 10.399 33.323 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 57 54 0 88 0 0 125

N.S.

1 1.00 0.52 0.49 0.00 0.80 0.00 0.00 1.14

time (sec)

N/A 0.107 0.303 34.361 0.000 4.240 0.000 0.000 3.695

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 119 550 0 181 0 0 -1

N.S.

1 1.00 0.88 4.07 0.00 1.34 0.00 0.00 -0.01

time (sec)

N/A 0.139 11.518 34.140 0.000 0.498 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 45 42 0 59 0 0 70

N.S.

1 1.00 1.36 1.27 0.00 1.79 0.00 0.00 2.12

time (sec)

N/A 0.037 0.147 34.289 0.000 2.558 0.000 0.000 1.294

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 105 290 0 120 0 0 -1

N.S.

1 1.00 1.07 2.96 0.00 1.22 0.00 0.00 -0.01

time (sec)

N/A 0.103 10.885 32.898 0.000 0.824 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 160 975 0 0 0 0 -1

N.S.

1 1.00 0.49 2.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.154 0.825 32.564 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 84 195 0 0 0 0 -1

N.S.

1 1.00 0.91 2.12 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.097 10.695 35.591 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 157 526 0 0 0 0 -1

N.S.

1 1.00 0.49 1.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.148 1.268 34.421 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 89 220 0 0 0 0 -1

N.S.

1 1.00 0.66 1.63 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.140 0.570 35.338 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

371 371 168 548 0 0 0 0 -1

N.S.

1 1.00 0.45 1.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.206 1.633 32.352 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 45 42 0 67 0 0 93

N.S.

1 1.00 1.36 1.27 0.00 2.03 0.00 0.00 2.82

time (sec)

N/A 0.035 0.165 34.993 0.000 5.008 0.000 0.000 1.762

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 101 993 0 0 0 0 -1

N.S.

1 1.00 0.75 7.36 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.141 11.863 33.462 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 154 1259 0 0 0 0 -1

N.S.

1 1.00 0.47 3.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.150 1.667 37.474 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 80 515 0 0 0 0 -1

N.S.

1 1.00 0.85 5.48 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.692 32.235 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 152 668 0 0 0 0 -1

N.S.

1 1.00 0.47 2.07 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.144 1.549 34.885 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 79 530 0 0 0 0 -1

N.S.

1 1.00 0.83 5.58 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.388 35.932 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

371 371 165 696 0 0 0 0 -1

N.S.

1 1.00 0.44 1.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.208 1.470 34.922 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 90 536 0 0 0 0 -1

N.S.

1 1.00 0.67 3.97 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.141 10.683 36.207 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

406 406 175 722 0 0 0 0 -1

N.S.

1 1.00 0.43 1.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.271 1.973 35.195 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

81 81 278 0 0 0 0 0 -1

N.S.

1 1.00 3.43 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 2.320 0.427 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

86 86 280 0 0 0 0 0 -1

N.S.

1 1.00 3.26 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.944 0.373 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

84 84 281 0 0 0 0 0 -1

N.S.

1 1.00 3.35 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.756 0.398 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

89 89 283 0 0 0 0 0 -1

N.S.

1 1.00 3.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.778 0.319 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 51 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.039 0.068 0.299 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 51 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.040 0.045 0.259 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 51 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.028 0.037 0.245 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 23 66 31 31 0 0 28

N.S.

1 1.00 0.96 2.75 1.29 1.29 0.00 0.00 1.17

time (sec)

N/A 0.022 0.027 2.548 0.290 3.272 0.000 0.000 0.325

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 45 2446 62 52 0 0 66

N.S.

1 1.00 0.87 47.04 1.19 1.00 0.00 0.00 1.27

time (sec)

N/A 0.037 0.147 4.345 0.295 2.920 0.000 0.000 0.632

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 81 0 92 77 0 0 134

N.S.

1 1.00 1.04 0.00 1.18 0.99 0.00 0.00 1.72

time (sec)

N/A 0.047 0.592 0.507 0.301 3.358 0.000 0.000 1.411

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 77 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.653 0.331 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 77 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.557 0.227 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 75 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.494 0.195 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 65 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.021 0.113 0.149 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 165 0 0 0 0 0 -1

N.S.

1 1.00 2.29 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.497 0.364 0.000 0.000 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 246 0 0 0 0 0 -1

N.S.

1 1.00 3.42 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.629 0.533 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 92 0 0 0 0 0 -1

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 11.927 0.447 0.000 0.000 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 90 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 11.714 0.456 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

81 81 326 0 0 0 0 0 -1

N.S.

1 1.00 4.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 32.711 0.434 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 115 0 0 0 0 0 -1

N.S.

1 1.00 1.42 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 21.134 0.328 0.000 0.000 0.000 0.000 0.000